Regressive order-types.
نویسندگان
چکیده
منابع مشابه
Order on Order Types
Given P and P ′, equally sized planar point sets in general position, we call a bijection from P to P ′ crossing-preserving if crossings of connecting segments in P are preserved in P ′ (extra crossings may occur in P ′). If such a mapping exists, we say that P ′ crossing-dominates P , and if such a mapping exists in both directions, P and P ′ are called crossing-equivalent. The relation is tra...
متن کاملLimits of Order Types
The notion of limits of dense graphs was invented, among other reasons, to attack problems in extremal graph theory. It is straightforward to define limits of order types in analogy with limits of graphs, and this paper examines how to adapt to this setting two approaches developed to study limits of dense graphs. We first consider flag algebras, which were used to open various questions on gra...
متن کاملOrder-Sorted Inductive Types
System F ! is an extension of system F ! with subtyping and bounded quantiication. Order-sorted algebra is an extension of many-sorted algebra with overloading and subtyping. We combine both formalisms to obtain IF ! , a higher-order typed-calculus with subtyping, bounded quan-tiication and order-sorted inductive types, i.e. data types with built-in subtyping and overloading. Moreover we show t...
متن کاملRegressive Analysis ∗
The regressive analytical method which can be generally understood as the way backward occurs in science on different levels. In scientific practice it represent research, i. e., activities of scientists when looking for the conditions necessary to solve given problems. On the methodological level it stands for ordering a given set of statements, and, finally, on the foundational level it gives...
متن کاملOrder Types of Convex Bodies
We prove a Hadwiger transversal type result, characterizing convex position on a family of non-crossing convex bodies in the plane. This theorem suggests a definition for the order type of a family of convex bodies, generalizing the usual definition of order type for point sets. This order type turns out to be an oriented matroid. We also give new upper bounds on the Erdős-Szekeres theorem in t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1977
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093887834